rules for solving exercises

نویسندگان

  • Thomas Holenstein
  • Emo Welzl
  • Peter Widmayer
چکیده

General rules for solving exercises This is a theory course, which means: if an exercise does not explicitly say \you do not need to prove your answer" or \justify intuitively", then a formal proof is always required. All exercises and their solutions, no matter whether they are graded or regular/optional ones, are part of the material relevant for the two exams. Some of the exercises are marked as "in-class", which means that we do not expect you to solve them before the exercise session. Instead, your teaching assistant will solve them with you in class. You are highly encouraged to solve all other exercises (those not marked as "in-class") on your own and to hand in a writeup of your solutions no later than the due date. If you choose to do so, please write the name of your teaching assistant on the front sheet.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Learning Relational Rules for Goal Decomposition

Hierarchical decomposition of goals into subgoals using goal decomposition rules is a familiar problem-solving technique in relational domains. In this paper we describe two methods that learn goal-decomposition rules in the relational setting. The rst method learns decomposition rules from teacher-supplied examples, i.e., problems and solutions. The second method learns them from exercises, wh...

متن کامل

Learning Goal-Decomposition Rules using Exercises

Teaching problem-solving through exercises is a widely used pedagogic technique. A human teacher selects certain problems and orders them according to their level of difficulty to form a sequence of exercises. A student starts by solving simple problems first; then, attempts harder problems applying the knowledge gained from solving the earlier problems; and then still harder problems, and so o...

متن کامل

Rule-based expert systems to support step-by-step guidance in algebraic problem solving: The case of the tutor PAT2Math

In order for an Intelligent Tutoring System (ITS) to correct students’ exercises, it must know how to solve the same type of problems that students do and the related knowledge components. It can, thereby, compare the desirable solution with the student’s answer. This task can be accomplished by an expert system. However, it has some drawbacks, such as an exponential complexity time, which impa...

متن کامل

Specifying Rewrite Strategies for Interactive Exercises

Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with fractions. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback, for example when a user makes an erroneous step in...

متن کامل

Strategies for Exercises

Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with fractions. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback, for example when a user makes an erroneous step in...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014